package com.googlecode.kipler.satisfiability.blocking.world;

import com.googlecode.kipler.container.dl.World;
import com.googlecode.kipler.container.dl.WorldConstraintSystem;

public interface WorldBlocking {
	public boolean isBlocked(WorldConstraintSystem wcs, World world);
}
